-- Command: endmenu
     This command ends the definition of a menu. Menus are defined by
     placement of other menus and menu items between a `menu' and
     `endmenu' pair.